More from this Author

Types for Proofs and Programs

by Stefano Berardi (Editor), Mario Coppo (Editor), Ferruccio Damiani (Editor)

Theoretical Computer Science

by Mario Coppo (Editor), Elena Lodi (Editor), G. Michele Pinna (Editor)